Steven D. Paulson's Documents

Steven D. Paulson's Documents

Meet the Beatles

Meet the Beatles
Read more
The Big Idea

The Big Idea
Read more
Isabelle: A Generic Theorem Prover

Isabelle: A Generic Theorem Prover
Read more
Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Read more
On the Brink: Inside the Race to Stop the Collapse of the Global Financial System

On the Brink: Inside the Race to Stop the Collapse of the Global Financial System
Read more
Haunted by Combat: Understanding PTSD in War Veterans Including Women, Reservists, and Those Coming Back from Iraq

Haunted by Combat: Understanding PTSD in War Veterans Including Women, Reservists, and Those Coming Back from Iraq
Read more
Design of Caspase Inhibitors as Potential Clinical Agents (Enzyme Inhibitors)

Design of Caspase Inhibitors as Potential Clinical Agents (Enzyme Inhibitors)
Read more
General Chemistry, 9th Edition

General Chemistry, 9th Edition
Read more
General Chemistry, 9th Edition

General Chemistry, 9th Edition
Read more
Masters of illusion

Masters of illusion
Read more
Immunoelectron Microscopy: Methods and Protocols (Methods in Molecular Biology 657)

Immunoelectron Microscopy: Methods and Protocols (Methods in Molecular Biology 657)
Read more
General Chemistry, Enhanced 9th Edition

General Chemistry, Enhanced 9th Edition
Read more
General Chemistry, 9th Edition

General Chemistry, 9th Edition
Read more
Inflammatory Dermatopathology: A Pathologist's Survival Guide

Inflammatory Dermatopathology: A Pathologist's Survival Guide
Read more
Prey

Prey
Read more
Diseases of the Colon (Gastroenterology and Hepatology)

Diseases of the Colon (Gastroenterology and Hepatology)
Read more
General Chemistry, Enhanced 9th Edition

General Chemistry, Enhanced 9th Edition
Read more
USB Explained

USB Explained
Read more
Xenobiotics and Food-Producing Animals: Metabolism and Residues (Acs Symposium Series)

Xenobiotics and Food-Producing Animals: Metabolism and Residues (Acs Symposium Series)
Read more
Jordan Canonical Form: Theory and Practice (Synthesis Lectures on Mathematics and Statistics)

Jordan Canonical Form: Theory and Practice (Synthesis Lectures on Mathematics and Statistics)
Read more
Jordan canonical form: Theory and practice

Jordan canonical form: Theory and practice
Read more
Modern Soviet Combat Tanks

Modern Soviet Combat Tanks
Read more
Jordan Canonical Form Theory and Practice

Jordan Canonical Form Theory and Practice
Read more
Protecting Games: A Security Handbook for Game Developers and Publishers

Protecting Games: A Security Handbook for Game Developers and Publishers
Read more
US half-tracks of World War II

US half-tracks of World War II
Read more
The Troubadour of Knowledge

The Troubadour of Knowledge
Read more
Signals and Systems with MATLAB Applications

Signals and Systems with MATLAB Applications
Read more
Isabelle-HOL - A Proof Assistant for Higher-Order Logic

Isabelle-HOL - A Proof Assistant for Higher-Order Logic
Read more
The English Novel In History: 1950-1995

The English Novel In History: 1950-1995
Read more
SuperFreakonomics: Global Cooling, Patriotic Prostitutes, and Why Suicide Bombers Should Buy Life Insurance

SuperFreakonomics: Global Cooling, Patriotic Prostitutes, and Why Suicide Bombers Should Buy Life Insurance
Read more